منابع مشابه
Modular, Statically Typed, Flexibly Extensible Programming Language
Even though extensible programming languages have been around for decades, they hav e not received much attention so far. To obtain a more attractive solution, where extending the language is almost as easy as writing normal programs, extensibility should not be provided as a separate add-on, but rather as the very heart of the language. Furthermore, syntactic flexibility should not only allow ...
متن کاملDubious: A Modular, Statically Typed OO Core Language
Three trends in the development of advanced object-oriented languages are toward better encapsulation, increased expressiveness, and strong, static typing. To understand the interaction of these three design goals we have developed Dubious, a small and highly uniform core language. Dubious provides a simple and flexible object model as well as first-class modules. In addition, Dubious features ...
متن کاملReflection for Statically Typed Languages
An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilities in object-oriented languages are either complex, type unsafe, or have a large performance penalty. We propose a simple, easy-to-understand, and statically typed model that captures much of the functionalities of other reflect...
متن کاملCan Object-Oriented Databases be Statically Typed?
Can there be a database programming language with a type system that matches the data model? Can such a language be strongly typed? Can it be statically typed? A static type system for database programming languages is, of course, the Holy Grail of the subject. However we, the authors, who have spent some effort in searching for this venerated object, now doubt its existence and have come to be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2002
ISSN: 0890-5401
DOI: 10.1006/inco.2002.3103